How does margin work with options